$\forall$$T$:Type, $A$:($T$$\rightarrow\mathbb{P}$). $T${-}Detach($A$) $\in$ $\mathbb{P}$